s(s(A,B))-->np(A), vp(B).
np(np(A))-->nnp(A).
np(np(A))-->nn(A).
np(np(A,B))-->nn(A), adjp(B).
np(np1(A,B))--> un(A), np(B).
np(np(A,B))-->cd(A), np(B).
np(np(A,B,C))-->nnp(A), cc(B), np(C).
%------------------------------------------
vp(vp(A,B))-->vb(A), np(B).
vp(vp(A,B))-->np(A), vp(B).
vp(vp(A,B))-->rb(A), vp(B).
vp(vp(A,B))-->rb(A), vp(B).
vp(vp(A,B,C))-->vp(A), np(B), pp(C).
pp(pp(A,B))--> in(A), np(B).
adjp(adjp(A,B))-->rb(A), jj(B).
%------------------------------------------

nnp(nnp(nam))-->[nam].
nnp(nnp(lan))-->[lan].

vb(vb(cho))-->[cho].
vb(vb(thich))-->[thich].
vb(vb(doc))-->[doc].
vb(vb(muon))-->[muon].
vb(vb(co))-->[co].
vb(vb(cho))-->[cho].

nn(nn(thu, vien))-->[thu, vien].
nn(nn(sach))-->[sach].

rb(rb(hay))-->[hay].
rb(rb(deu))-->[deu].
rb(rb(rat))-->[rat].
rb(rb(cung))-->[cung].


un(un(cuon))-->[cuon].
cc(cc(va))-->[va].
cd(cd(mot))-->[mot].
cd(cd(nhieu))-->[nhieu].
jj(jj(hay))-->[hay].
in(in(o))-->[o].



%1 -Nam hay doc sach o thu vien.
%2 -Nam rat thich doc sach
%3 -Nam va Lan deu thich doc sach
%4 -Nam cho Lan muon mot cuon sach rat hay
%5 -Lan cung co nhieu sach